mixed integer programming problems